Abstract logic - PDFSEARCH.IO - Document Search Engine

Abstract logic
Results: 1693

#	Item
801	The Ackermann Award 2014 Anuj Dawar Chairman of the Jury of the EACSL Ackermann Award [removed] Abstract Add to Reading List Source URL: eacsl.kahle.ch Language: English - Date: 2014-08-15 17:26:59 Mathematics Computational complexity theory Time complexity Circuit complexity First-order logic L Algorithm FO Structure Theoretical computer science Applied mathematics Complexity classes
802	Defining Recursive Functions in Isabelle/HOL Alexander Krauss Abstract This tutorial describes the use of the function package, which provides general recursive function definitions for Isabelle/HOL. We start with very Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2014-08-27 06:04:04 Recursion Computability theory Mathematical logic Programming idioms Theory of computation Fold Well-founded relation Function Pattern matching Mathematics Computer programming Computing
803	Analysis of Algorithms: Recursion Equations Author: Haldir[RET] Abstract Keywords: Math, Altihmetics, Recursion, Modulo, Algorithm There isn’t much you need to know to understand this Essay, you should be familiar with Add to Reading List Source URL: www.reteam.org Language: English - Date: 2009-05-17 13:10:52 Mathematics Theory of computation Mathematical logic Recursion Self-reference Differential equation Fibonacci number Linear congruential generator Computer programming Programming idioms Computing
804	LTL Goal Specifications Revisited Andreas Bauer and Patrik Haslum1 Abstract. The language of linear temporal logic (LTL) has been proposed as a formalism for specifying temporally extended goals and search control constr Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2010-05-25 19:52:52 Logic Mathematical logic Semantics Model checking Model theory Interpretation Trace Temporal logic Linear temporal logic Mathematics
805	Logique & Analyse[removed]), x–x THE LOGIC OF BEING INFORMED LUCIANO FLORIDI∗ Abstract One of the open problems in the philosophy of information is whether there is an information logic (IL), different from epistem Add to Reading List Source URL: www.philosophyofinformation.net Language: English - Date: 2014-03-28 12:55:32 Formal systems Modal logic Philosophical logic Non-classical logic Epistemic modal logic Luciano Floridi Propositional calculus Axiom Information Logic Mathematical logic Science
806	Stefan Meretz (September[removed]Meaning Concepts used in Psychology and Computer Sciences Abstract. This paper argues that the "meaning problem" cannot be treated within the cognitive framework. Many proposals using the Add to Reading List Source URL: www.kritische-informatik.de Language: English - Date: 2009-04-20 07:15:33 Science Semantics Logic Philosophical logic Semiotics Symbolic system Cognitive science Language Interpretation Philosophy of language Analytic philosophy Meaning
807	LogiCell Jean-Philippe Rennard, Ph.D., [removed]LogiCell 1.0 We have seen in Introduction to CA that the Game of Life has Universal computation capabilities. Add to Reading List Source URL: www.rennard.org Language: English - Date: 2014-07-28 10:11:15 Mathematical logic Propositional calculus Logical connectives Binary operations Algebraic logic Exclusive or Truth table Logical disjunction Boolean data type Abstract algebra Mathematics Boolean algebra
808	Reasoning about Actions and Change: From Single Agent Actions to Multi-agent Actions (Extended Abstract) Chitta Baral Faculty of Computer Science and Engineering Arizona State University Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2011-06-04 22:29:10 Logic programming Modal logic Artificial intelligence Multi-agent systems Epistemic modal logic Philosophical logic Common knowledge Stable model semantics Situation calculus Logic Science Mathematical logic
809	Proof Obligations Preserving Compilation Extended abstract Gilles Barthe1 and Tamara Rezk1 and Ando Saabas2 1 2 Add to Reading List Source URL: set.ee Language: English - Date: 2005-11-02 06:27:15 Applied mathematics Formal methods Mathematical logic Program logic Predicate transformer semantics Assertion Stack-oriented programming language Postcondition Subroutine Theoretical computer science Mathematics Logic in computer science
810	Mathematical Case Studies: Finite Combinatorics∗ Rob Arthan [removed] 5 August[removed]Abstract Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2012-08-05 11:01:45 Finite set Coproduct Binomial coefficient Summation Series Counting Function Mathematics Elementary mathematics Mathematical logic

UPDATE